The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Continue readingThis volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...
Continue readingThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Continue readingThe purpose of this book is to propose a teaching approach to under- 1 stand what computer viruses really are and how they ...
Continue readingExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Continue readingExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Continue readingThis book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
Continue readingThis book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...
Continue readingThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Continue readingThe purpose of this project is to design a platform that concentrates on Fashion in addition to assisting users with gathering ...
Continue readingThe definitive guide to writing robust, maintainable code. Whatever version of Java you are using—up to and including Java ...
Continue readingIncludes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction ...
Continue readingThis book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second ...
Continue readingThis book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current ...
Continue readingApache Spark's speed, ease of use, sophisticated analytics, and multilanguage support makes practical knowledge of this ...
Continue readingThis book teaches data-parallel programming using C++ and the SYCL standard from the Khronos Group and walks through everything ...
Continue readingIntended to flow from the basic concepts of C++ to technicalities of the programming language, its approach and debugging. ...
Continue readingThis volume contains works at the intersection of database and programming language research.It also cover algorithms, XML ...
Continue readingConstitutes the refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005. ...
Continue readingThe papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, ...
Continue reading